icarus odin slang sv2v_zachjs sv_parser tree_sitter_verilog verilator yosys
Various sanity checks sanity 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
SweRV RISC-V core swerv 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1
Ibex RISC-V core ibex 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1
FX68K m68k core fx68k 0/1 0/1 0/1 1/1 1/1 0/1 0/1 0/1
Tests imported from Yosys yosys 178/194 73/194 120/194 172/194 183/194 169/194 168/194 157/194
Tests imported from hdlConvertor hdlconv 73/284 6/284 0/284 59/284 275/284 207/284 46/284 25/284
Tests imported from utd-SystemVerilog utd-sv 289/298 99/298 113/298 290/298 295/298 279/298 124/298 288/298
Tests imported from UVM uvm 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1
Ariane RISC-V core ariane 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
SCR1 RISC-V core scr1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Taiga RISC-V core taiga 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
White space 5.3 7/7 0/7 7/7 7/7 7/7 7/7 1/7 7/7
Comments 5.4 7/7 0/7 7/7 7/7 7/7 7/7 1/7 7/7
Identifiers, keywords, and system names 5.6 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2
Escaped identifiers 5.6.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Keywords 5.6.2 248/248 248/248 248/248 248/248 248/248 2/248 247/248 85/248
System tasks and system functions 5.6.3 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Compiler directives 5.6.4 95/99 1/99 96/99 99/99 99/99 95/99 63/99 40/99
Integer literal constants 5.7.1 65/65 3/65 65/65 65/65 65/65 65/65 59/65 10/65
Real literal constants 5.7.2 59/59 2/59 59/59 59/59 59/59 59/59 54/59 4/59
Time literals 5.8 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1
String literals 5.9 2/4 0/4 3/4 4/4 4/4 4/4 3/4 2/4
Special characters in strings 5.9.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Structure literals 5.10 1/4 1/4 4/4 1/4 3/4 3/4 2/4 1/4
Array literals 5.11 0/3 0/3 3/3 2/3 3/3 3/3 2/3 0/3
Attributes 5.12 5/5 0/5 5/5 3/5 5/5 5/5 5/5 5/5
Built-in methods 5.13 1/2 0/2 1/2 0/2 2/2 2/2 1/2 0/2
Nets and variables 6.5 4/4 3/4 2/4 1/4 1/4 1/4 2/4 2/4
Wire and tri nets 6.6.1 2/2 0/2 2/2 2/2 2/2 2/2 2/2 1/2
Unresolved nets 6.6.2 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Wired nets 6.6.3 4/4 0/4 4/4 4/4 4/4 4/4 0/4 2/4
Trireg net 6.6.4 0/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1
Tri0 and tri1 nets 6.6.5 2/2 0/2 2/2 2/2 2/2 2/2 2/2 0/2
Supply nets 6.6.6 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2
User-defined nettypes 6.6.7 0/2 0/2 1/2 0/2 2/2 2/2 0/2 0/2
Generic interconnect 6.6.8 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Specifying vectors 6.9.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Vector net accessibility 6.9.2 1/3 1/3 3/3 1/3 3/3 3/3 3/3 1/3
Implicit declarations 6.10 3/3 1/3 1/3 3/3 3/3 3/3 3/3 3/3
Integer data types 6.11 25/27 0/27 27/27 27/27 27/27 27/27 27/27 8/27
Real, shortreal, and realtime data types 6.12 4/6 3/6 6/6 3/6 3/6 3/6 5/6 3/6
Void data type 6.13 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Chandle data type 6.14 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Class 6.15 20/65 0/65 0/65 0/65 57/65 65/65 0/65 0/65
String data type 6.16 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Len() 6.16.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Putc() 6.16.2 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1
Getc() 6.16.3 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1
Toupper() 6.16.4 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1
Tolower() 6.16.5 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1
Compare() 6.16.6 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1
Icompare() 6.16.7 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1
Substr() 6.16.8 1/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1
Atoi(), atohex(), atooct(), atobin() 6.16.9 0/4 0/4 4/4 0/4 4/4 4/4 0/4 0/4
Atoreal() 6.16.10 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1
Itoa() 6.16.11 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Hextoa() 6.16.12 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Octtoa() 6.16.13 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Bintoa() 6.16.14 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Realtoa() 6.16.15 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Event data type 6.17 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1
User-defined types 6.18 13/27 0/27 14/27 19/27 27/27 24/27 14/27 0/27
Enumerations 6.19 4/5 2/5 4/5 3/5 3/5 3/5 3/5 2/5
Defining new data types as enumerated types 6.19.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Enumerated type ranges 6.19.2 2/2 0/2 2/2 0/2 2/2 2/2 2/2 0/2
Type checking 6.19.3 2/2 1/2 2/2 1/2 1/2 1/2 1/2 1/2
Enumerated types in numerical expressions 6.19.4 1/3 1/3 3/3 2/3 2/3 2/3 2/3 1/3
First() 6.19.5.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Last() 6.19.5.2 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Next() 6.19.5.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Prev() 6.19.5.4 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Num() 6.19.5.5 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Name() 6.19.5.6 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Value parameters 6.20.2 4/6 0/6 6/6 6/6 6/6 5/6 6/6 5/6
$ as a parameter value 6.20.2.1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Type parameters 6.20.3 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Local parameters (localparam) 6.20.4 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Specify parameters 6.20.5 1/2 1/2 1/2 1/2 1/2 1/2 2/2 1/2
Const constants 6.20.6 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Type operator 6.23 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Cast operator 6.24.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
$cast dynamic casting 6.24.2 2/2 0/2 0/2 2/2 2/2 2/2 0/2 0/2
Bit-stream casting 6.24.3 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
General 7.1 1/2 0/2 2/2 2/2 2/2 1/2 2/2 0/2
Structures 7.2 1/5 0/5 4/5 5/5 5/5 4/5 5/5 0/5
Packed structures 7.2.1 1/3 0/3 3/3 3/3 3/3 3/3 3/3 0/3
Assigning to structures 7.2.2 0/2 1/2 2/2 1/2 1/2 0/2 0/2 1/2
Unions 7.3 0/2 0/2 1/2 2/2 2/2 1/2 2/2 0/2
Packed unions 7.3.1 1/1 0/1 1/1 1/1 1/1 0/1 1/1 0/1
Tagged unions 7.3.2 0/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Packed and unpacked arrays 7.4 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2
Packed arrays 7.4.1 9/9 0/9 7/9 9/9 9/9 9/9 9/9 2/9
Unpacked arrays 7.4.2 1/13 0/13 3/13 5/13 13/13 13/13 3/13 1/13
Operations on arrays 7.4.3 8/14 1/14 14/14 13/14 13/14 13/14 12/14 1/14
Memories 7.4.4 2/2 0/2 2/2 2/2 2/2 2/2 2/2 1/2
Multidimensional arrays 7.4.5 3/4 0/4 4/4 4/4 4/4 4/4 4/4 0/4
Indexing and slicing of arrays 7.4.6 1/2 0/2 2/2 2/2 2/2 2/2 1/2 0/2
Dynamic arrays 7.5 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
New[ ] 7.5.1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Size() 7.5.2 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Delete() 7.5.3 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Array assignments 7.6 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Arrays as arguments to subroutines 7.7 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Associative arrays 7.8 0/9 0/9 0/9 0/9 9/9 9/9 0/9 0/9
Wildcard index type 7.8.1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
String index 7.8.2 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Class index 7.8.3 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Integral index 7.8.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Other user-defined types 7.8.5 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Accessing invalid indices 7.8.6 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Allocating associative array elements 7.8.7 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Associative array methods 7.9 0/9 0/9 0/9 0/9 9/9 9/9 0/9 0/9
Num() and size() 7.9.1 0/4 0/4 0/4 0/4 4/4 4/4 0/4 0/4
Delete() 7.9.2 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Exists() 7.9.3 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
First() 7.9.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Last() 7.9.5 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Next() 7.9.6 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Prev() 7.9.7 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Arguments to traversal methods 7.9.8 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Associative array assignment 7.9.9 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Associative array arguments 7.9.10 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Associative array literals 7.9.11 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Queues 7.10 1/13 0/13 0/13 0/13 13/13 13/13 0/13 0/13
Queue operators 7.10.1 0/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Queue methods 7.10.2 4/9 0/9 0/9 0/9 9/9 9/9 0/9 0/9
Size() 7.10.2.1 1/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Insert() 7.10.2.2 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Delete() 7.10.2.3 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Pop_front() 7.10.2.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Pop_back() 7.10.2.5 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Push_front() 7.10.2.6 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Push_back() 7.10.2.7 1/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Persistence of references to elements of a queue 7.10.3 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Updating a queue using assignment and unpacked array concatenation 7.10.4 2/6 0/6 0/6 0/6 2/6 2/6 0/6 0/6
Bounded queues 7.10.5 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Array querying functions 7.11 8/8 0/8 6/8 8/8 8/8 8/8 8/8 1/8
Array manipulation methods 7.12 0/10 0/10 0/10 0/10 10/10 10/10 0/10 0/10
Array locator methods 7.12.1 0/11 0/11 0/11 0/11 11/11 11/11 0/11 0/11
Array ordering methods 7.12.2 0/6 0/6 0/6 0/6 6/6 6/6 0/6 0/6
Array reduction methods 7.12.3 0/5 0/5 0/5 2/5 5/5 5/5 0/5 0/5
Iterator index querying 7.12.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Syntax 8.3 27/133 0/133 0/133 0/133 125/133 133/133 0/133 0/133
Objects (class instance) 8.4 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Object properties and object parameter data 8.5 1/3 0/3 0/3 0/3 3/3 2/3 0/3 0/3
Object methods 8.6 1/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Constructors 8.7 1/3 0/3 0/3 0/3 3/3 3/3 0/3 0/3
Typed constructor calls 8.8 0/2 0/2 0/2 0/2 2/2 1/2 0/2 0/2
Static class properties 8.9 1/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Static methods 8.10 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
This 8.11 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Assignment, renaming, and copying 8.12 2/2 0/2 0/2 0/2 2/2 0/2 0/2 0/2
Inheritance and subclasses 8.13 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Overridden members 8.14 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Super 8.15 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Casting 8.16 2/2 0/2 0/2 2/2 2/2 2/2 0/2 0/2
Chaining constructors 8.17 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Data hiding and encapsulation 8.18 7/10 5/10 5/10 5/10 5/10 5/10 5/10 5/10
Constant class properties 8.19 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Virtual methods 8.20 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Abstract classes and pure virtual methods 8.21 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Polymorphism: dynamic method lookup 8.22 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Class scope resolution operator :: 8.23 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Out-of-block declarations 8.24 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Parameterized classes 8.25 0/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Class scope resolution operator for parameterized classes 8.25.1 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Interface classes 8.26 0/11 0/11 0/11 0/11 11/11 11/11 0/11 0/11
Extends versus implements 8.26.2 0/4 0/4 0/4 0/4 4/4 4/4 0/4 0/4
Type access 8.26.3 1/3 1/3 1/3 1/3 2/3 2/3 1/3 1/3
Type usage restrictions 8.26.4 2/2 2/2 2/2 2/2 0/2 0/2 2/2 2/2
Casting and object reference assignment 8.26.5 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Method name conflict resolution 8.26.6.1 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Parameter and type declaration inheritance conflicts and resolution 8.26.6.2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Diamond relationship 8.26.6.3 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Partial implementation 8.26.7 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Typedef class 8.27 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Initial procedures 9.2.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
General purpose always procedure 9.2.2.1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Combinational logic always_comb procedure 9.2.2.2 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Latched logic always_latch procedure 9.2.2.3 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Sequential logic always_ff procedure 9.2.2.4 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Final procedures 9.2.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Sequential blocks 9.3.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Parallel blocks 9.3.2 3/3 0/3 0/3 1/3 3/3 3/3 0/3 0/3
Statement block start and finish times 9.3.3 3/3 1/3 1/3 3/3 2/3 2/3 1/3 1/3
Block names 9.3.4 2/2 0/2 1/2 2/2 2/2 2/2 1/2 1/2
Statement labels 9.3.5 0/2 0/2 1/2 2/2 2/2 2/2 1/2 0/2
Delay control 9.4.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Event control 9.4.2 2/3 0/3 3/3 2/3 3/3 3/3 3/3 2/3
Event OR operator 9.4.2.1 0/2 0/2 2/2 2/2 2/2 2/2 0/2 2/2
Implicit event_expression list 9.4.2.2 0/1 0/1 0/1 1/1 1/1 1/1 0/1 1/1
Conditional event controls 9.4.2.3 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
Sequence events 9.4.2.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Level-sensitive event control 9.4.3 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Intra-assignment timing controls 9.4.5 7/7 0/7 0/7 1/7 7/7 7/7 2/7 2/7
Wait fork statement 9.6.1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Disable statement 9.6.2 2/2 0/2 0/2 0/2 2/2 2/2 1/2 0/2
Disable fork statement 9.6.3 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Fine-grain process control 9.7 0/4 0/4 0/4 0/4 4/4 4/4 0/4 0/4
Operators 11.3 3/3 0/3 3/3 3/3 3/3 3/3 3/3 0/3
Operator expression short circuiting 11.3.5 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Assignment within an expression 11.3.6 1/2 1/2 2/2 1/2 2/2 2/2 1/2 1/2
Assignment operators 11.4.1 13/13 0/13 13/13 13/13 13/13 13/13 13/13 0/13
Increment and decrement operators 11.4.2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 0/2
Arithmetic operators 11.4.3 6/6 0/6 6/6 6/6 6/6 6/6 6/6 0/6
Relational operators 11.4.4 4/4 0/4 3/4 4/4 4/4 4/4 4/4 0/4
Equality operators 11.4.5 4/4 0/4 4/4 4/4 4/4 4/4 4/4 0/4
Wildcard equality operators 11.4.6 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2
Logical operators 11.4.7 2/4 0/4 4/4 4/4 4/4 4/4 4/4 0/4
Bitwise operators 11.4.8 5/5 0/5 5/5 5/5 5/5 5/5 5/5 0/5
Reduction operators 11.4.9 7/7 0/7 7/7 7/7 7/7 7/7 7/7 0/7
Shift operators 11.4.10 4/4 0/4 4/4 4/4 4/4 4/4 4/4 0/4
Conditional operator 11.4.11 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Concatenation operators 11.4.12 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Replication operator 11.4.12.1 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2
String concatenation 11.4.12.2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 0/2
Set membership operator 11.4.13 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1
Concatenation of stream_expressions 11.4.14.1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1
Re-ordering of the generic stream 11.4.14.2 0/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1
Streaming concatenation as an assignment target (unpack) 11.4.14.3 1/3 1/3 1/3 3/3 2/3 1/3 2/3 1/3
Streaming dynamically sized data 11.4.14.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Vector bit-select and part-select addressing 11.5.1 4/4 0/4 4/4 4/4 4/4 4/4 4/4 4/4
Array and memory addressing 11.5.2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2
Signed expressions 11.7 2/2 0/2 0/2 2/2 2/2 2/2 2/2 2/2
Tagged union expressions and member access 11.9 1/3 1/3 1/3 1/3 2/3 2/3 1/3 1/3
String literal expressions 11.10 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
String literal operations 11.10.1 3/3 0/3 3/3 3/3 3/3 3/3 3/3 0/3
Empty string literal handling 11.10.3 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Minimum, typical, and maximum delay expressions 11.11 1/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1
Let construct 11.12 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Conditional if-else statement 12.4 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2
if-else-if construct 12.4.1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
unique-if, unique0-if, and priority-if 12.4.2 0/3 0/3 3/3 3/3 3/3 3/3 3/3 0/3
Case statement 12.5 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Case statement with do-not-cares 12.5.1 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2
Constant expression in case statement 12.5.2 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
unique-case, unique0-case, and priority-case 12.5.3 9/9 0/9 9/9 9/9 9/9 9/9 9/9 9/9
Set membership case statement 12.5.4 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Pattern matching in case statements 12.6.1 0/3 0/3 0/3 0/3 3/3 3/3 0/3 0/3
Pattern matching in if statements 12.6.2 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Pattern matching in conditional expressions 12.6.3 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
The for-loop 12.7.1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
The repeat loop 12.7.2 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
The foreach-loop 12.7.3 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
The while-loop 12.7.4 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
The do...while-loop 12.7.5 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
The forever-loop 12.7.6 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Jump statements 12.8 1/4 0/4 3/4 4/4 4/4 4/4 4/4 0/4
Total tests passed: 1217/1781 465/1781 905/1781 1183/1781 1714/1781 1352/1781 956/1781 729/1781
Total tags passed: 96/248 2/248 111/248 99/248 220/248 202/248 99/248 37/248
Total time elapsed: 24.17s 363.66s 15.26s 111.91s 151.54s 7.00s 202.34s 26.52s

Download a summary in csv